『 【計算機科学向け 圏論の基礎 】 命題論理とその解釈のための代数系の基礎知識 』

https://www.youtube.com/watch?v=8lWCxuREDCI